Introduction to reliable and secure distributed programming
Introduction to Reliable and Secure Distributed Second Edition 2.pdf